d1be2cf5a6913dc6d765df9db52e8ef048273f74,src/org/basex/gui/view/tree/TreeView.java,TreeView,paintComponent,#Graphics#,129

Before Change


    // highlights the focused node

    if(focus()) {
      highlightNode(g, focusedRect, focusedRectLevel, -1, false,
          SHOW_ANCESTORS, SHOW_DESCENDANTS);
    }

    if(selection) markSelektedNodes(g);

After Change


        getHeight(), this);

    // highlights the focused node
    if(focus()) highlightNode(g, 0, gui.context.focused, focusedRect,
        focusedRectLevel, -1, false, SHOW_ANCESTORS, SHOW_DESCENDANTS);

    if(selection) markSelektedNodes(g);